31![Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr](https://www.pdfsearch.io/img/490e105bd4bdc627d5d966145072f520.jpg) | Add to Reading ListSource URL: suncontract.orgLanguage: English - Date: 2018-10-19 08:31:23
|
---|
32![An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science](https://www.pdfsearch.io/img/cfcb772109abbdc8e25e5f3a6ec8e97b.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2009-11-11 16:42:08
|
---|
33![Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue](https://www.pdfsearch.io/img/ac8fba9042abaa443b19378613882dea.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 21:04:29
|
---|
34![Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U](https://www.pdfsearch.io/img/4ce56aee227456c4b6daf899b3588632.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
35![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/7161a03948feb50f4955f33e78f31cdf.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:42
|
---|
36![Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2 Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2](https://www.pdfsearch.io/img/8f8cbe36cbef3ab8bcb8e1ea340283ef.jpg) | Add to Reading ListSource URL: www2.cs.cas.czLanguage: English - Date: 2018-07-28 04:11:44
|
---|
37![A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch](https://www.pdfsearch.io/img/fab6638a2c2426873b6d5519a605118b.jpg) | Add to Reading ListSource URL: www.netsec.ethz.chLanguage: English |
---|
38![CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State](https://www.pdfsearch.io/img/035bb352b2ce9f03929b265123d606f1.jpg) | Add to Reading ListSource URL: rivoire.cs.sonoma.eduLanguage: English - Date: 2017-05-29 18:44:34
|
---|
39![Computer Science_BS_General.pdf Computer Science_BS_General.pdf](https://www.pdfsearch.io/img/2fd009024127c0bd2a6dd84c07f3b741.jpg) | Add to Reading ListSource URL: catalog.southernct.eduLanguage: English - Date: 2018-10-06 18:05:29
|
---|
40![Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009 Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009](https://www.pdfsearch.io/img/f5694b1e50c37869a56f5b5d38cde2db.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2009-08-30 21:09:18
|
---|